Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
111	On Pebble Automata for Data Languages with Decidable Emptiness ProblemI,II Tony Tan School of Informatics, University of Edinburgh Abstract Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Computer science Pebble automaton Regular language Turing machine Linear temporal logic Ω-automaton Automata theory Theory of computation Theoretical computer science
112	Testing activities at CISS Add to Reading List Source URL: www2.imm.dtu.dk Language: English - Date: 2006-08-08 11:17:42 Control theory Automata theory Model checkers Uppaal Model Checker Model checking
113	Tree Automata over Inﬁnite Alphabets Michael Kaminski and Tony Tan Department of Computer Science, Technion – Israel Institute of Technology, Haifa 32000, Israel {kaminski,tantony}@cs.technion.ac.il Dedicated to Bori Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Tree automaton Regular language Logic Ω-automaton Automata theory Symbol Model theory
114	An Introduction to TokensRegex Angel Xuan Chang May 30, 2012 What is TokensRegex? Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2012-11-14 16:10:00 Software engineering Computing Automata theory TRE Perl 6 rules Lexical analysis Regular expressions Computer programming Pattern matching
115	Uniform Distributed Synthesis Bernd Finkbeiner and Sven Schewe Universit¨at des Saarlandes Abstract Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-22 13:40:44 Ω-automaton Finite-state machine Papyrus 1 Automata theory Models of computation Symbol
116	Manuscript Click here to download Manuscript: fermanianlasser_rev.tex 1 2 3 Add to Reading List Source URL: www-m3.ma.tum.de Language: English* - Date: 2011-03-29 04:29:52 Automata theory Symbol
117	Ramsey-Based Analysis of Parity Automata Oliver Friedmann1 and Martin Lange2 1 Dept. of Computer Science, Ludwig-Maximilians-University of Munich, Germany School of Electr. Eng. and Computer Science, University of Kassel Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:13 Complementation of Büchi automaton Automata theory Ω-automaton Symbol
118	Space Lower Bounds for Graph Exploration via Reduced Automata Pierre Fraigniaud1 , David Ilcinkas1 , Sergio Rajsbaum2 , and S´ebastien Tixeuil1 1 2 Add to Reading List Source URL: www.liafa.jussieu.fr Language: English - Date: 2007-01-17 10:04:45 Graph Directed graph Connectivity Tree Degree Flow network Line graph Signed graph Graph theory Mathematics Graph operations
119	Synthesis for Probabilistic Environments⋆ Sven Schewe Universit¨ at des Saarlandes, 66123 Saarbr¨ ucken, Germany Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-22 13:37:30 Symbol Finite-state machine Deterministic automaton Ω-automaton Automata theory Theoretical computer science Computer science
120	Synthesizing Certificates in Networks of Timed Automata∗ Bernd Finkbeiner Hans-J¨org Peter Saarland University {finkbeiner \| peter}@cs.uni-sb.de Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2009-02-12 09:49:58 Applied mathematics Mathematics Büchi automaton Automata theory Equivalence relation Computer science

UPDATE